Formal systems - PDFSEARCH.IO - Document Search Engine

Formal systems
Results: 1365

#	Item
271	IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, VOL. 27, NO. 7, JULYKeynote Paper A Survey of Automated Techniques for Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2008-06-15 00:09:46 Computer programming Logic in computer science Model checkers Model checking Formal verification BLAST model checker Abstract interpretation Static program analysis Abstraction Computing Software engineering Formal methods
272	HALL 26th INTERNATIONAL CONFERENCE ON SYSTEMS RESEARCH, INFORMATICS & CYBERNETICS and the 34th Annual Meeting of the IIAS, Baden-Baden, August 4 - 9, 2014 August 4th August 5th Add to Reading List Source URL: www.iias.edu Language: English - Date: 2014-06-20 18:28:41 Control theory Systems Systems science Nature Formal sciences Sociocybernetics International Institute for Advanced Studies in Systems Research and Cybernetics Cybernetics Science Systems theory
273	Principles of Secure Network Configuration: Towards a Formal Basis for Self-Configuration Simon N. Foley1 William Fitzgerald2 Stefano Bistarelli4,5 Barry O’Sullivan1,3 ´ Foghl´ M´ıche´al O u2 Add to Reading List Source URL: www.cs.ucc.ie Language: English - Date: 2006-08-23 04:48:12 Networking hardware Routing Attribute grammar Node Computer cluster Computing Fault-tolerant computer systems Host
274	DESCRIPTION: A NEGLECTED TOPIC IN SE (ORIGINAL TITLE) DEFINING A DISCIPLINE OF DESCRIPTION (PUBLISHED TITLE) At a 1985 Symposium on Unintentional Nuclear War, Brian Cantwell Smith argued that the notion of correctness fo Add to Reading List Source URL: mcs.open.ac.uk Language: English - Date: 2002-05-03 12:21:52 Software engineering Formal sciences Cybernetics System Systems science Systems theory Engineering Formal methods Logic Science Knowledge Ethology
275	Dr. Ezio Bartocci Curriculum Vitae Personal Information Gender: Add to Reading List Source URL: www.eziobartocci.com Language: English - Date: 2015-04-10 06:06:57 University of Camerino Computer science Institute of Science and Technology Austria Agent-based model Runtime verification Edmund M. Clarke Systems engineering Academia Software development Science Formal methods Logic in computer science
276	UNIX Basics DAVID FAUST by Peter Collinson, Hillside Systems Add to Reading List Source URL: www.hillside.co.uk Language: English - Date: 2001-11-27 10:14:15 Pattern matching Grep Formal languages Scripting languages Find Nl Words Filter Strings Computing Software Unix
277	IIAS E - JOURNAL IIAS International Journal Volume 1 - NoPreface Add to Reading List Source URL: www.iias.edu Language: English - Date: 2011-10-12 14:22:21 Systems International Institute for Advanced Studies in Systems Research and Cybernetics Knowledge Nature Ayten Aydın Formal sciences Systems theory International Institute for Asian Studies Science Cybernetics Control theory
278	Microsoft Word - FormalismAndIntuition.doc Add to Reading List Source URL: mcs.open.ac.uk Language: English - Date: 2013-07-03 05:53:32 Abstraction Formal sciences Philosophy of mathematics Reasoning Systems Reason Complexity Formal methods Logic Science Knowledge Ethology
279	Formal Methods for Trustworthy Skies: Building Confidence in the Security of Aircraft Assets Distribution Scott Lintelman, Richard Robinson, Mingyan Li, Krishna Sampigethaya Trusted Systems and Software, Add to Reading List Source URL: www.fm2008.abo.fi Language: English - Date: 2008-06-04 08:52:26 Software engineering Common Criteria Science Knowledge ISO standards Methodology Software development process
280	Next Generation Data Federation Executive Summary Big Data is rapidly becoming a major component of corporate analytic and data warehousing strategies. No one debates the fact that today companies of all sizes are drowni Add to Reading List Source URL: www.cirro.com Language: English - Date: 2015-01-28 19:39:21 Technology Formal sciences Business intelligence Database theory Big data Apache Hadoop Extract transform load Data warehouse Database Data management Computing Database management systems

UPDATE